1. Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'98, Oisterwijk, the Netherlands, May 5-8, 1998 : proceedings
پدیدآورنده: Harrie de Swart, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1397
2. June 3, 2011. Proceedingsع۰بRelational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30
پدیدآورنده: / ller (auth.), Harrie de Swart (eds.)نBernhard M
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
رده :
E-BOOK
3. Philosophical and Mathematical Logic
پدیدآورنده: /Harrie de Swart
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع:
4. Philosophical and Mathematical Logic /
پدیدآورنده: by Harrie de Swart.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Epistemology.,Mathematical Logic and Formal Languages.,Mathematical Logic and Foundations.
رده :
BD143-237
5. Philosophical and mathematical logic /
پدیدآورنده: Harrie de Swart.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Computer science.,Genetic epistemology.,Logic, Symbolic and mathematical.
رده :
BC131
6. Philosophical and mathematical logic /
پدیدآورنده: Harrie de Swart.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Logic, Symbolic and mathematical.,Logic.
رده :
BC135
.
S93
2018
7. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده: ]edited by[ Harrie de Swart
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
8. Relational methods in computer science :6th International Conference, RelMICS 2001 and 1st Workshop of COST Action 274 TARSKI, Oisterwijk, The Netherlands, Ocotrber 16-21, 2001 : revised papers
پدیدآورنده: Harrie C.M. de Swart )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Relationism
رده :
QA
76
.
L28
Vol
.
2561
9. Theory and applications of relational structures as knowledge instruments
پدیدآورنده: / Harrie de Swart ... [et al.] (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science.,Relationism.
رده :
QA
,
76
,.
T483
,
2003
10. Theory and applications of relational structures as knowledge instruments : COST Action 274, TARSKI : revised papers
پدیدآورنده: Harrie de Swart...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science,، Rationalism
رده :
QA
76
.
L28
Vol
.
2929
